大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 B. H. (Bernhard Hermann) 的图书(共269本)

Web Information Systems Engineering - WISE 2008 [electronic resource] : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings

0
索取号：
作者：Bailey、 James.、Maier、 David.、Schewe、 Klaus-Dieter.、Thalheim、 Bernhard.、Wang、 Xiaoyang Sean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Andrology [electronic resource] : Male Reproductive Health and Dysfunction

0
索取号：
作者：Nieschlag、 Eberhard.、Behre、 Hermann M.、Nieschlag、 Susan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Internationalisation of European ICT Activities [electronic resource] : Dynamics of Information and Communications Technology

0
索取号：
作者：Meijers、 Huub.、Dachs、 Bernhard.、Welfens、 Paul J. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

0
索取号：
作者：Parent、 Christine.、Schewe、 Klaus-Dieter.、Storey、 Veda C.、Thalheim、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Brain Dynamics [electronic resource] : An Introduction to Models and Simualtions

0
索取号：
作者：Haken、 Hermann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Basic Bundle Theory and K-Cohomology Invariants [electronic resource] : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Kr枚tz

0
索取号：
作者：Husem枚ller、 D.、Joachim、 M.、Jur膷o、 B.、Schottenloher、 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rhinology and Facial Plastic Surgery [electronic resource]

0
索取号：
作者：Stucker、 Fred J.、de Souza、 Chris.、Kenyon、 Guy S.、Lian、 Timothy S.、Draf、 Wolfgang.、Schick、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

13th International Conference on Electrical Bioimpedance and the 8th Conference on Electrical Impedance Tomography [electronic resource] : ICEBI 2007, August 29th - September 2nd 2007, Graz, Austria

0
索取号：
作者：Scharfetter、 Hermann.、Merwa、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings

0
索取号：
作者：H盲mmerli、 Bernhard.、Sommer、 Robin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Combinatorial Optimization [electronic resource] : Theory and Algorithms

0
索取号：
作者：Korte、 Bernhard.、Vygen、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

German Corporate Governance in International and European Context [electronic resource]

0
索取号：
作者：Plessis、 Jean J.、Gro脽feld、 Bernhard.、Luttermann、 Claus.、Saenger、 Ingo.、Sandrock、 Otto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号：
作者：Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.